GRUB

• 19 mai 2024

Comment modifier le temps d'attente au démarrage de l'ordinateur :

Dans /etc/defaut/grub, mettre :

GRUB_TIMEOUT=1

Laisser au moins 1 seconde, pour du dépannge si besoin.

Dans /etc/grub.d/30_os-prober, modifier la variable :

quick_boot="1"

en :

quick_boot="0"

Pour ma part cela était déjà sur 0.

Pour mettre à jour le GRUB, lancer un :

sudo update-grub

Modifier fond d'écran :

1. Aller chercher son image, la convertir en .png et la compresser au maximum (avec GIMP),
2. Elle devra être copié ici : /boot/grub/,

3. Avant de remplacer la précédente, bien la renommer au cas où qu'il y est un bug (.background_cacheANCIEN.png),

4. Il n'y a rien à modifier dans un fichier de conf.